Project-Team Pi.r2
Members
Overall Objectives
Research Program
Proof theory and the Curry-Howard correspondence
The development of Coq
Dependently typed programming languages
Around and beyond the Curry-Howard correspondence
Effective higher-dimensional algebra
New Software and Platforms
Coq
Other software developments
New Results
Effects in proof theory and programming
Reasoning and programming with infinite data
Effective higher-dimensional algebra
Incrementality
Metatheory and development of Coq
Formalisation work
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2016
|
Presentation of the Project-Team PI.R2
|
PI.R2 Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
European Initiatives
FP7 & H2020 Projects
Hugo Herbelin is a deputy representative of France in the COST action EUTYPES.
Previous |
Home
| Next